window.onload=function(){
    function doubleBorder(){
        let box =document.getElementById('box');
        box.style.border="double red 4px";
    }
    var btn =document.getElementById('btn-change');
    btn.onclick =doubleBorder;
}